<?php
  require_once("include/fns.inc");
  if ($_GET['logout']==1) {
    unset($_SESSION['valid_login']);
  }
?>
<table width="100%">
<tr>
  <td class="style3">
  	<a href="frontpage.php">Home</a> >
    <a href="director.php">Operation</a>
  	<a></a>
  </td>
  <td class="style3" align="right">
  	<a href="<?echo $_SERVER['PHP_SELF'];?>?logout=1">Sign out</a>
  </td>
</tr>
</table>

<!--
/*
  if (isset($_POST['new_folder_name']) && $_POST['new_folder_name']!='') {
    insert_new_folder($_POST['new_folder_name'], $_GET['f_id']);
  }
  if (isset($_FILES['new_file_name']['tmp_name']) && $_FILES['new_file_name']['tmp_name']!='') {
    insert_new_file($_FILES['new_file_name']['name'], $_GET['f_id'], 
      $_FILES['new_file_name']['tmp_name'], $_FILES['new_file_name']['size'], $_POST['time_limit']);
  }
  if (isset($_GET['f_id']) && $_GET['action']=='d') {
    delete_rows($_GET['f_id']);
  }
  */

    <a>
      <?php
        /*
        if (isset($_SESSION['valid_login'])) {
          $link = connect_to_db('', 'admin_xbq', 'nihao', 'test');
          $sql = "select user_name from user where user.login='".$_SESSION['valid_login']."';";
          $result = mysql_query($sql) or die('Query failed2: ' . mysql_error());
          $line = mysql_fetch_array($result, MYSQL_ASSOC);
          echo $line['user_name'];
          mysql_free_result($result);
          mysql_close($link);
        }
        */
      ?>
    </a>

-->
